def f1(x : t) -> r: ...
